Books by author Helmut Schwichtenberg

Showing 1 – 12 out of 12 results

1. 

   Logic and Algebra of Specification

   Friedrich L. Bauer, Wilfried Bauer, Helmut Schwichtenberg | Springer, Berlin, 1993

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   154.23 €

   Sale 7 %

   You save 12.86 €

   Buy
2. 

   Logic and Algebra of Specification

   Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   154.23 €

   Sale 7 %

   You save 12.86 €

   Buy
3. 

   Computer Science Logic

   Peter G. Clote, Helmut Schwichtenberg | Springer, Berlin, 2000

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.88 €

   Sale 7 %

   You save 8.62 €

   Buy
4. 

   Computational Logic

   Ulrich Berger, Helmut Schwichtenberg | Springer, Berlin, 1999

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   154.23 €

   Sale 7 %

   You save 12.86 €

   Buy
5. 

   Logic of Computation

   Helmut Schwichtenberg | Springer, Berlin, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.64 €

   Sale 7 %

   You save 4.28 €

   Buy
6. 

   Proof and System-Reliability

   Helmut Schwichtenberg, Ralf Steinbrüggen | Springer Netherlands, 2002

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Hardback

   110.46 €

   Buy
7. 

   Computational Logic

   Ulrich Berger, Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   154.23 €

   Sale 7 %

   You save 12.86 €

   Buy
8. 

   Proof and Computation

   Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.88 €

   Sale 7 %

   You save 8.62 €

   Buy
9. 

   Logic of Computation

   Helmut Schwichtenberg | Springer, 1997

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Hardback

   98.03 €

   Sale 0 %

   You save 0.01 €

   Buy
10. 

    Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

    Helmut Schwichtenberg, Peter Michael Schuster | World Scientific Publishing Co Pte Ltd, 2021

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Hardback

    148.16 €

    Buy
11. 

    Proof and System-Reliability

    Helmut Schwichtenberg, Ralf Steinbrüggen | Springer-Verlag New York Inc., 2002

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.64 €

    Sale 7 %

    You save 4.28 €

    Buy
12. 

    Handbook of Constructive Mathematics

    Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg | Cambridge University Press, 2023

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Hardback

    195.16 €

    Buy

Books are sent immediately or as soon as possible. Find out more